Optimal. Leaf size=114 \[ \frac{2 \sqrt{\pi } f^{3/2} \text{Erf}\left (\frac{\sqrt{f} \sqrt{d x}}{\sqrt{d}}\right )}{3 d^{5/2}}+\frac{2 \sqrt{\pi } f^{3/2} \text{Erfi}\left (\frac{\sqrt{f} \sqrt{d x}}{\sqrt{d}}\right )}{3 d^{5/2}}-\frac{4 f \sinh (f x)}{3 d^2 \sqrt{d x}}-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.14846, antiderivative size = 114, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 5, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.417, Rules used = {3297, 3307, 2180, 2204, 2205} \[ \frac{2 \sqrt{\pi } f^{3/2} \text{Erf}\left (\frac{\sqrt{f} \sqrt{d x}}{\sqrt{d}}\right )}{3 d^{5/2}}+\frac{2 \sqrt{\pi } f^{3/2} \text{Erfi}\left (\frac{\sqrt{f} \sqrt{d x}}{\sqrt{d}}\right )}{3 d^{5/2}}-\frac{4 f \sinh (f x)}{3 d^2 \sqrt{d x}}-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3297
Rule 3307
Rule 2180
Rule 2204
Rule 2205
Rubi steps
\begin{align*} \int \frac{\cosh (f x)}{(d x)^{5/2}} \, dx &=-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}}+\frac{(2 f) \int \frac{\sinh (f x)}{(d x)^{3/2}} \, dx}{3 d}\\ &=-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}}-\frac{4 f \sinh (f x)}{3 d^2 \sqrt{d x}}+\frac{\left (4 f^2\right ) \int \frac{\cosh (f x)}{\sqrt{d x}} \, dx}{3 d^2}\\ &=-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}}-\frac{4 f \sinh (f x)}{3 d^2 \sqrt{d x}}+\frac{\left (2 f^2\right ) \int \frac{e^{-f x}}{\sqrt{d x}} \, dx}{3 d^2}+\frac{\left (2 f^2\right ) \int \frac{e^{f x}}{\sqrt{d x}} \, dx}{3 d^2}\\ &=-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}}-\frac{4 f \sinh (f x)}{3 d^2 \sqrt{d x}}+\frac{\left (4 f^2\right ) \operatorname{Subst}\left (\int e^{-\frac{f x^2}{d}} \, dx,x,\sqrt{d x}\right )}{3 d^3}+\frac{\left (4 f^2\right ) \operatorname{Subst}\left (\int e^{\frac{f x^2}{d}} \, dx,x,\sqrt{d x}\right )}{3 d^3}\\ &=-\frac{2 \cosh (f x)}{3 d (d x)^{3/2}}+\frac{2 f^{3/2} \sqrt{\pi } \text{erf}\left (\frac{\sqrt{f} \sqrt{d x}}{\sqrt{d}}\right )}{3 d^{5/2}}+\frac{2 f^{3/2} \sqrt{\pi } \text{erfi}\left (\frac{\sqrt{f} \sqrt{d x}}{\sqrt{d}}\right )}{3 d^{5/2}}-\frac{4 f \sinh (f x)}{3 d^2 \sqrt{d x}}\\ \end{align*}
Mathematica [A] time = 0.0930811, size = 78, normalized size = 0.68 \[ \frac{x \left (-4 (-f x)^{3/2} \text{Gamma}\left (\frac{1}{2},-f x\right )+e^{-f x} \left (-4 e^{f x} (f x)^{3/2} \text{Gamma}\left (\frac{1}{2},f x\right )+4 f x-2\right )-2 e^{f x} (2 f x+1)\right )}{6 (d x)^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.027, size = 126, normalized size = 1.1 \begin{align*}{\frac{-{\frac{i}{8}}\sqrt{\pi }\sqrt{2}}{f}{x}^{{\frac{5}{2}}} \left ( if \right ) ^{{\frac{5}{2}}} \left ( -{\frac{8\,\sqrt{2}{{\rm e}^{-fx}}}{3\,\sqrt{\pi }} \left ( -fx+{\frac{1}{2}} \right ){x}^{-{\frac{3}{2}}} \left ( if \right ) ^{-{\frac{3}{2}}}}-{\frac{8\,\sqrt{2}{{\rm e}^{fx}}}{3\,\sqrt{\pi }} \left ( fx+{\frac{1}{2}} \right ){x}^{-{\frac{3}{2}}} \left ( if \right ) ^{-{\frac{3}{2}}}}+{\frac{8\,\sqrt{2}}{3}{f}^{{\frac{3}{2}}}{\it Erf} \left ( \sqrt{x}\sqrt{f} \right ) \left ( if \right ) ^{-{\frac{3}{2}}}}+{\frac{8\,\sqrt{2}}{3}{f}^{{\frac{3}{2}}}{\it erfi} \left ( \sqrt{x}\sqrt{f} \right ) \left ( if \right ) ^{-{\frac{3}{2}}}} \right ) \left ( dx \right ) ^{-{\frac{5}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.26112, size = 78, normalized size = 0.68 \begin{align*} \frac{\frac{f{\left (\frac{\sqrt{f x} \Gamma \left (-\frac{1}{2}, f x\right )}{\sqrt{d x}} - \frac{\sqrt{-f x} \Gamma \left (-\frac{1}{2}, -f x\right )}{\sqrt{d x}}\right )}}{d} - \frac{2 \, \cosh \left (f x\right )}{\left (d x\right )^{\frac{3}{2}}}}{3 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.85452, size = 452, normalized size = 3.96 \begin{align*} \frac{2 \, \sqrt{\pi }{\left (d f x^{2} \cosh \left (f x\right ) + d f x^{2} \sinh \left (f x\right )\right )} \sqrt{\frac{f}{d}} \operatorname{erf}\left (\sqrt{d x} \sqrt{\frac{f}{d}}\right ) - 2 \, \sqrt{\pi }{\left (d f x^{2} \cosh \left (f x\right ) + d f x^{2} \sinh \left (f x\right )\right )} \sqrt{-\frac{f}{d}} \operatorname{erf}\left (\sqrt{d x} \sqrt{-\frac{f}{d}}\right ) -{\left ({\left (2 \, f x + 1\right )} \cosh \left (f x\right )^{2} + 2 \,{\left (2 \, f x + 1\right )} \cosh \left (f x\right ) \sinh \left (f x\right ) +{\left (2 \, f x + 1\right )} \sinh \left (f x\right )^{2} - 2 \, f x + 1\right )} \sqrt{d x}}{3 \,{\left (d^{3} x^{2} \cosh \left (f x\right ) + d^{3} x^{2} \sinh \left (f x\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cosh \left (f x\right )}{\left (d x\right )^{\frac{5}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]